Anxiety over AI replacing entire industries has already pushed people to change course in their classes and career. Anxiety over AI replacing entire industries has already pushed people to change course in their classes and career. Matthew Ramirez started at Western Governors University as a computer science major in 2025, drawn by the promise of a high-paying, flexible career as a programmer. But as headlines mounted about tech layoffs and AI's potential to replace entry-level coders, he began to question whether that path would actually lead to a job. When the 20-year-old interviewed for a datacenter technician role that June and never heard back, his doubts deepened.

The other is GRL-SVO(NUP), a fast heuristic providing a total order directly.

Work completed at the University of Washington. Work completed at Microsoft Research.

Lego also recognized that it had to build a course that'll work regardless of a teacher's fluency in such subjects. So a big part of developing the course was making sure that teachers had the tools they needed to be on top of whatever lessons they're working on. "When we design and we test the products, we're not the ones testing in the classroom," Silwinski said. "We give it to a teacher and we provide all of the lesson materials, all of the training, all of the notes, all the presentation materials, everything that they need to be able to teach the lesson." Lego also took into account the fact that some schools might introduce its students to these things starting in Kindergarten, whereas others might skip to the grade 3-5 or 6-8 sets.

Descriptive set theorists study the niche mathematics of infinity. Now, they've shown that their problems can be rewritten in the concrete language of algorithms. All of modern mathematics is built on the foundation of set theory, the study of how to organize abstract collections of objects. But in general, research mathematicians don't need to think about it when they're solving their problems. They can take it for granted that sets behave the way they'd expect, and carry on with their work. Descriptive set theorists are an exception. This small community of mathematicians never stopped studying the fundamental nature of sets--particularly the strange infinite ones that other mathematicians ignore. Their field just got a lot less lonely. In 2023, a mathematician named Anton Bernshteyn published a deep and surprising connection between the remote mathematical frontier of descriptive set theory and modern computer science.

"We really can't do this research without collaboration." Wąsala collaborates with atmospheric scientists from SRON (Space Research Organisation Netherlands) on machine learning models that detect large greenhouse gas emissions from space. There is too much data to review manually, and such models offer a solution. How much greenhouse gas do humans emit? The machine learning method Wąsala refers to detects emissions in the form of a point source: plumes.

Craig interpolation and uniform interpolation have many applications in knowledge representation, including explainability, forgetting, modularization and reuse, and even learning. At the same time, many relevant knowledge representation formalisms do in general not have Craig or uniform interpolation, and computing interpolants in practice is challenging. We have a closer look at two prominent knowledge representation formalisms, description logics and logic programming, and discuss theoretical results and practical methods for computing interpolants.